Applying Inductive Program Synthesis to Macro Learning
نویسندگان
چکیده
The goal of this paper is to demonstrate that inductive progrwn synthesis can be applied to learning macrooperators from planning experience. We define macros as recursive program schemes (RPSs). An RPS represents the complete subgoal structure of a given problem domain with arbitrary complexity (e. g., rocket transportation problem with n objects), that is, it represents domain specific control knowledge. We propose the following steps for macro learning: (1) Exploring a problem domain with small complexity (e. g., rocket with 3 objects) using an universal planning technique, (2) transforming the universal plan into a finite program, and (3) generalizing this program into an RPS.
منابع مشابه
Iterative Macro-Operators Revisited: Applying Program Synthesis to Learning in Planning
The goal of this paper is to demonstrate that a method for inductive program synthesis (as described in [SW98]) can be applied to the problem of learning cyclic (iterative/recursive) macro-operations from planning. Input in the program synthesis system is a so-called initial program which represents an ordered set of straight-forward transformations from input states to the desired output. In t...
متن کاملApplying Inductive Program Synthesis to Learning Domain-Dependent Control Knowledge | Transforming Plans into Programs
The goal of this paper is to demonstrate that inductive program synthesis can be applied to learning domain-dependent control knowledge from planning experience. We represent control rules as recursive program schemes (RPSs). An RPS represents the complete subgoal structure of a given problem domain with arbitrary complexity (e. g., rocket transportation problem with n objects). That is, if an ...
متن کاملInductive Programming: A Survey of Program Synthesis Techniques
Inductive programming—the use of inductive reasoning methods for programming, algorithm design, and software development—is a currently emerging research field. A major subfield is inductive program synthesis, the (semi-)automatic construction of programs from exemplary behavior. Inductive program synthesis is not a unified research field until today but scattered over several different establi...
متن کاملA General Theory of Automatic Program Synthesis
Some results concerning inductive inference are surveyed. These results are interpreted with respect to automatic program synthesis, a special case of algorithmic inductive iruerence. The interpretations reinforce and refine opinions concerning automatic program synthesis, and artificial intelligence in general, which have been previously expressed in [9] and [15]. The final section digresses f...
متن کاملIntegrated Learning: Controlling Explanation
Similarity-based learning, which invalves largely structural comparisons of instances, and explanation-based learning, a knowledge-intensive method far analyzing instances to build generalized schemata, are two major inductive learning techniques in use in Artificial Intelligence. In this paper, we propose a combination of the two methods-applying explonotion-based techniques during the course ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000